:: [a] -> [a] -> Bool package:Agda

Sublist relation.